(set-logic QF_BV)
(declare-fun _substvar_4_ () (_ BitVec 32))
(declare-fun _substvar_17_ () Bool)
(declare-fun _substvar_15_ () Bool)
(declare-fun _substvar_14_ () Bool)
(assert (= _substvar_17_ _substvar_15_))
(assert (= _substvar_4_ (ite _substvar_14_ (_ bv14 32) (_ bv12 32))))
(check-sat)
(exit)
